Philips Lucasse En Petronella Buys

Technical Data from Philips

Nova Scotia hospital buys bulletproof vests.

Authors: M. Collados (Philips Research)

System Level Verification at Philips

A new verification project has recently started at Philips Research. It concerns a verification of C-like concurrent programs used to specify functionality of hardware/software systems. The problem is to make the verification practical, in the sense that it must be mechanised, and applicable to thousands of lines of C-like code. We will present the goals of the project and some solutions we wan...

Can Consumers Calculate Best Buys ? NOEL CAPON DEANNA KUHN *

W ithin the cognitive development literature, a sizeable body of evidence has accumulated indicating that logical reasoning ability undergoes developmental transformations, and, furthermore, that not all individuals develop to the most advanced level. As a result, there is considerable variation in level of logical reasoning within an adult population (Neimark 1975; Papalia and DelVento Bielby ...